Formal semantics

#	Item
501	PDF Document Add to Reading List Source URL: comet.lehman.cuny.edu Language: English - Date: 2013-07-10 12:43:37 Model theory Semantics Predicate logic Formal languages Metalogic Interpretation First-order logic Barcan formula Function Logic Mathematical logic Mathematics
502	PDF Document Add to Reading List Source URL: acl.ldc.upenn.edu Language: English - Date: 2005-03-23 19:29:06 Metalogic Semantics Natural language processing Formal languages SPL notation First-order logic Inquiry Interpretation Database Logic Model theory Science